Self-stabilizing Byzantine fault-tolerant repeated reliable broadcast

Parsimonious Asynchronous Byzantine-Fault-Tolerant Atomic Broadcast

Atomic broadcast is a communication primitive that allows a group of n parties to deliver a common sequence of payload messages despite the failure of some parties. We address the problem of asynchronous atomic broadcast when up to t < n/3 parties may exhibit Byzantine behavior. We provide the first protocol with an amortized expected message complexity of O(n) per delivered payload. The most e...

Self-stabilizing and Byzantine-Tolerant Overlay Network

Network overlays have been the subject of intensive research in recent years. The paper presents an overlay structure, S-Fireflies, that is self-stabilizing and is robust against permanent Byzantine faults. The overlay structure has a logarithmic diameter with high probability, which matches the diameter of less robust overlays. The overlay can withstand high churn without affecting the ability...

Model Checking a Byzantine-Fault-Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems

FATAL+: A Self-Stabilizing Byzantine Fault-tolerant Clocking Scheme for SoCs

We present concept and implementation of a self-stabilizing Byzantine fault-tolerant distributed clock generation scheme for multi-synchronous GALS architectures in critical applications. It combines a variant of a recently introduced self-stabilizing algorithm for generating lowfrequency, low-accuracy synchronized pulses with a simple nonstabilizing high-frequency, high-accuracy clock synchron...

Towards Self-stabilizing Byzantine Fault-Tolerant Clock Generation in Systems-on-Chip

The most obvious challenges resulting from the tremendous advances of Very Large Scale Integration (VLSI) technology, which has now reached the nanometer scale, are design complexity and robustness issues. Modern Systems-on-Chip (SoC) and Networks-on-Chip (NoC) accommodate Billions of transistors on a single die nowadays, and have in fact much in common with loosely-coupled fault-tolerant distr...